Monotone maps that preserve meets

A monotone map \(P \xrightarrow{f} Q\) that preserves meets

• \(f(a \land_P b) \cong f(a) \land_Q f(b)\)

• Likewise, to preserve joins is for \(f(a \lor_P b) \cong f(a) \lor_Q f(b)\)